Using Graph Transformation for Practical Model Driven Software Engineering
نویسندگان
چکیده
1 School of Information Technology and Electrical Engineering, University of Queensland, Brisbane, QLD 4072, Australia [email protected] 2 Department of Computer Science and Electrical Engineering, University of Kassel, Wilhelmshöher Allee 73, 34121 Kassel, Germany leif.geiger|[email protected] 3 University of Antwerp, Middelheimlaan 1, 2020 Antwerpen, Belgium niels.vaneetvelde|[email protected] 4 Department of Measurement and Information Systems, Budapest University of Technology and Economics, H-1117, Budapest, Magyar tudósok krt. 2. [email protected]
منابع مشابه
A Hybrid Meta-heuristic Approach to Cope with State Space Explosion in Model Checking Technique for Deadlock Freeness
Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a graphical formal modeling language to specify and model the system. However, modeling of large s...
متن کاملValidated model transformation-driven software development
Model-driven Software Engineering is one of the most focused research fields. Model processors automatically generate the lower level artefacts. Graph transformation is a widely used technique for model transformations. Especially visual model transformations can be expressed by graph transformations. This paper presents a visual control flow support of the Visual Modelling and Transformation S...
متن کاملA Model Transformation Framework for Model Driven Engineering
Model Driven Engineering(MDE) is a model-centric software development approach aims at improving the quality and productivity of software development processes. While some progresses in MDE have been made, there are still many obstacles in realizing the full benefits of model driven engineering. These obstacles include incompleteness in existing modeling notations, inadequate in tools support, ...
متن کاملTowards Debugging the Matching of Henshin Model Transformations Rules
Model Driven Engineering aims at improving effectiveness and efficiency of software engineering. Model transformations are a key artifact in model driven engineering as they enable transforming models into other artifacts for further processing, e.g. analysis models or executable code. However, particularly graph transformation based model transformation tools often lack detailed debugging capa...
متن کاملOn the Use of Graph Transformations for Model Refactoring
Model-driven software engineering promotes the use of models and transformations as primary artifacts. Several formalisms can be used for the specification of model transformations. We propose to represent models as graphs, and model transformations as graph transformations. In particular, we focus on the activity of model refactoring, and show how graph transformation theory can provide formal...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005